Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
101	A taste of linear logic? Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ, Scotland () Abstract. This tutorial paper provides an introduction to intuitionistic Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-16 06:24:47 Mathematics Deduction Natural deduction Curry–Howard correspondence Monotonicity of entailment Deduction theorem Linear logic Orbifold Sequent calculus Logic Proof theory Mathematical logic
102	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics
103	Prawitz’s proof-theoretic account of consequence John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:24:03 Logical consequence Critical thinking Propositional calculus Natural deduction Disjunctive syllogism Validity Entailment Philosophy of mathematics Inference Logic Deduction Arguments
104	A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
105	Weak Formal Systems and Connections to Computational Complexity Lecture Notes for a Topics Course University of California, Berkeley January-May 1988 Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2006-04-24 18:16:59 Proof theory Automated theorem proving Propositional calculus Logical truth Logical syntax Sequent Cut-elimination theorem Substitution Resolution Logic Mathematical logic Mathematics
106	Journal of Computer and System Sciences–737 Contents lists available at ScienceDirect Journal of Computer and System Sciences www.elsevier.com/locate/jcss Add to Reading List Source URL: math.mit.edu Language: English - Date: 2011-03-23 10:26:18 Applied mathematics Natural proof Pseudorandom generator Entailment Time complexity Circuit complexity Arithmetic function Holomorphic functional calculus Theoretical computer science Computational complexity theory Logic
107	A Realizability Model for a Semantical Value Restriction Rodolphe Lepigre Laboratoire de Math´ematiques, UMR 5127 CNRS Universit´e Savoie Mont-BlancLe Bourget-du-Lac, France Add to Reading List Source URL: lepigre.fr Language: English - Date: 2015-03-20 16:12:30 Proof theory Symbol Curry–Howard correspondence Valuation Lambda calculus Natural deduction Μ operator Mathematics Theoretical computer science Abstract algebra
108	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
109	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
110	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic